Open problem list for the Fine-grained Complexity Design program
ثبت نشده
چکیده
In the Even Set problem, the input consists of a family F of subsets of a universe U and an integer k; the question is to find a nonempty set A ⊆ U of size at most k such that |A ∩ F | is even for every F ∈ F . Alternatively, the question can be stated as finding a nonzero codeword of Hamming weight at most k in a linear code over F2. The question of parameterized complexity of this problem, parameterized by k, remains open. Note that if we require the set A to be of size exactly k, or we require the intersections to be odd, the problem becomes W[1]-hard.
منابع مشابه
Quantitative Synthesis for Concurrent Programs
We present an algorithmic method for the synthesis of concurrent programs that are optimal with respect to quantitative performance measures. The input consists of a sequential sketch, that is, a program that does not contain synchronization constructs, and of a parametric performance model that assigns costs to actions such as locking, context switching, and idling. The quantitative synthesis ...
متن کاملUltra-Fine Grained Dual-Phase Steels
This paper provides an overview on obtaining low-carbon ultra-fine grained dual-phase steels through rapid intercritical annealing of cold-rolled sheet as improved materials for automotive applications. A laboratory processing route was designed that involves cold-rolling of a tempered martensite structure followed by a second tempering step to produce a fine grained aggregate of ferrite and ca...
متن کاملA Fine-grained Model for Design Pattern Detection in Eiffel Systems Maurice Lebon a Thesis Submitted to the Faculty of Graduate Studies in Partial Fulfilment of the Requirements for the Degree of Master of Science Graduate Program in Software Engineering
Design patterns have been used for many years in order to build software systems whose design has a high level of flexibility and scalability. In the reverse engineering field, detecting design patterns not only simplifies the understanding of the target system implementation but also provides the rationale behind the system’s design, i.e. why was this design used? Therefore, automating the det...
متن کاملSafe Fine-Grained Locking for Aggregate Objects
Programmers have difficulty writing correct multithreaded code, not to mention code that scales well. One way to approach this problem is by offering a transaction construct, and leaving it to the compiler and run-time system to implement efficient synchronization. However, automatically generating efficient synchronization code is an open research problem. In this paper, rather than attempting...
متن کاملParaWeaver: Performance Evaluation on Programming Models for Fine Grained Threads
There is a trend towards multicore or manycore processors in computer architecture design. In addition, several parallel programming models have been introduced. Some extract concurrent threads implicitly whenever possible, resulting in fine grained threads. Others construct threads by explicit user specifications in the program, resulting in coarse grained threads. How these two mechanisms imp...
متن کامل